High Performance Numerical Calculation in Prolo g Execution
نویسندگان
چکیده
Numerically intensive calculations are not well supp orted by Prolog, yet there are important applications that require tightly coupled symbolic and numeric calc ulations. We identify some additional built-in pred icates and macros for Prolog to suppon numeric calculations. These predicates are implemented in several layers of software and hardware, including a specially designed high performance numeric coprocessor. Simulated pe rformance results indicate the system will achieve about 4 MFL OPS on the Prolog version of some Whetstone bench marks (in double precision).
منابع مشابه
Promoted Fields Unit
Computer performance has been improved by increase of CPU (central processing unit) clock frequency based on miniaturization of semiconductor manufacturing process, however this reaches the upper limit caused by increase of heat generation, power consumption and leakage current since around 2005. To overcome these problems, in recent years, improvement of computer performance by parallel proces...
متن کاملThe effect of imagery, observation and execution of the pattern in the field on the performance of the regulated games of skilled basketball players
Abstract The effectiveness of different educational methods in learning different types of motor skills has been considered. However, comparisons of these methods in regulated team sports games have been less studied. Therefore, the aim of the present study was to compare the three educational methods of imagery, observation, and execution of in-field pattern on the performance of regulated ga...
متن کاملAccelerating high-order WENO schemes using two heterogeneous GPUs
A double-GPU code is developed to accelerate WENO schemes. The test problem is a compressible viscous flow. The convective terms are discretized using third- to ninth-order WENO schemes and the viscous terms are discretized by the standard fourth-order central scheme. The code written in CUDA programming language is developed by modifying a single-GPU code. The OpenMP library is used for parall...
متن کاملOptimal Operation of Doubly-fed Induction Generator used in a Grid-Connected Wind Power System
In this paper, a wind power system based on a doubly-fed induction generator (DFIG) is modeled and simulated. To guarantee high-performance control of the powers injected into the grid by the wind turbine, five intelligent super-twisting sliding mode controllers (STSMC) are used to eliminate the active power and current ripples of the DFIG. The STSMC controller is a high-order sliding mode cont...
متن کاملComparison of Selected Advanced Numerical Methods for Greeks Calculation of Vanilla Options
Option valuation has been a challenging issue of financial engineering and optimization for a long time. The increasing complexity of market conditions requires utilization of advanced models that, commonly, do not lead to closed-form solutions. Development of novel numerical procedures, which prove to be efficient within various option valuation problems, is therefore worthwhile. Notwithstan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014